(interval_deletion_adjustment): Delete unreachable abort.

diff --git a/src/intervals.c b/src/intervals.c
index f08d80cff0730c43a82de7ecaf3c85fe015f8691..b262412930f55e9ec0888b96d2a7e797c8e67227 100644 (file)
--- a/src/intervals.c
+++ b/src/intervals.c
@@ -835,7 +835,6 @@ interval_deletion_adjustment (tree, from, amount)
     }
 
   /* Never reach here */
-  abort ();
 }
 
 /* Effect the adjustments neccessary to the interval tree of BUFFER